More ties than we thought

We extend the existing enumeration of neck tie-knots to include tie-knots with a textured front, tied with the narrow end of a tie. These tie-knots have gained popularity in recent years, based on reconstructions of a costume detail from The Matrix Reloaded, and are explicitly ruled out in the enumeration by Fink and Mao (2000). We show that the relaxed tie-knot description language that comprehensively describes these extended tie-knot classes is context free. It has a regular sub-language that covers all the knots that originally inspired the work. From the full language, we enumerate 266 682 distinct tie-knots that seem tie-able with a normal neck-tie. Out of these 266 682, we also enumerate 24 882 tie-knots that belong to the regular sub-language.Comment: Accepted at PeerJ Computer Science 12 pages, 6 color photograph

Security Applications of Formal Language Theory

We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic binary analysis, fuzzing, and general reverse-engineering and exploit development. Our work provides a foundation for verifying critical implementation components with considerably less burden to developers than is offered by the current state of the art. It additionally offers a rich basis for further exploration in the areas of offensive analysis and, conversely, automated defense tools and techniques. This report is divided into two parts. In Part I we address the formalisms and their applications; in Part II we discuss the general implications and recommendations for protocol and software design that follow from our formal analysis

Sequential Quality-Control Checkpoints Triage Misfolded Cystic Fibrosis Transmembrane Conductance Regulator

Cystic fibrosis arises from the misfolding and premature degradation of CFTR Delta F508, a Cl- ion channel with a single amino acid deletion. Yet, the quality-control machinery that selects CFTR Delta F508 for degradation and the mechanism for its misfolding are not well defined. We identified an ER membrane-associated ubiquitin ligase complex containing the E3 RMA1, the E2 Ubc6e, and Derlin-1 that cooperates with the cytosolic Hsc70/CHIP E3 complex to triage CFTR and CFTR Delta F508. Derlin-1 serves to retain CFTR in the ER membrane and interacts with RMA1 and Ubc6e to promote CFTR's proteasomal degradation. RMA1 is capable of recognizing folding defects in CFTR Delta F508 coincident with translation, whereas the CHIP E3 appears to act posttranslationally. A folding defect in CFTR Delta F508 detected by RMA1 involves the inability of CFTR's second membrane-spanning domain to productively interact with amino-terminal domains. Thus, the RMA1 and CHIP E3 ubiquitin ligases act sequentially in ER membrane and cytosol to monitor the folding status of CFTR and CFTR Delta F508

An exceptionally well-preserved skeleton of Palaeothentes from the Early Miocene of Patagonia, Argentina: new insights into the anatomy of extinct paucituberculatan marsupials

International audienc

A multi-stage genome-wide association study of bladder cancer identifies multiple susceptibility loci.

We conducted a multi-stage, genome-wide association study of bladder cancer with a primary scan of 591,637 SNPs in 3,532 affected individuals (cases) and 5,120 controls of European descent from five studies followed by a replication strategy, which included 8,382 cases and 48,275 controls from 16 studies. In a combined analysis, we identified three new regions associated with bladder cancer on chromosomes 22q13.1, 19q12 and 2q37.1: rs1014971, (P = 8 × 10⁻¹²) maps to a non-genic region of chromosome 22q13.1, rs8102137 (P = 2 × 10⁻¹¹) on 19q12 maps to CCNE1 and rs11892031 (P = 1 × 10⁻⁷) maps to the UGT1A cluster on 2q37.1. We confirmed four previously identified genome-wide associations on chromosomes 3q28, 4p16.3, 8q24.21 and 8q24.3, validated previous candidate associations for the GSTM1 deletion (P = 4 × 10⁻¹¹) and a tag SNP for NAT2 acetylation status (P = 4 × 10⁻¹¹), and found interactions with smoking in both regions. Our findings on common variants associated with bladder cancer risk should provide new insights into the mechanisms of carcinogenesis

Automated Internet-based pain coping skills training to manage osteoarthritis pain: a randomized controlled trial

Osteoarthritis (OA) places a significant burden on worldwide public health because of the large and growing number of people affected by OA and its associated pain and disability. Pain coping skills training (PCST) is an evidence-based intervention targeting OA pain and disability. To reduce barriers that currently limit access to PCST, we developed an 8-week, automated, Internet-based PCST program called PainCOACH and evaluated its potential efficacy and acceptability in a small-scale, 2-arm randomized controlled feasibility trial. Participants were 113 men and women with clinically confirmed hip or knee OA and associated pain. They were randomized to a group completing PainCOACH or an assessment-only control group. Osteoarthritis pain, pain-related interference with functioning, pain-related anxiety, self-efficacy for pain management, and positive and negative affect were measured before intervention, midway through the intervention, and after intervention. Findings indicated high acceptability and adherence: 91% of participants randomized to complete PainCOACH finished all 8 modules over 8 to 10 weeks. Linear mixed models showed that, after treatment, women who received the PainCOACH intervention reported significantly lower pain than that in women in the control group (Cohen d = 0.33). Intervention effects could not be tested in men because of their low pain and small sample size. Additionally, both men and women demonstrated increases in self-efficacy from baseline to after intervention compared with the control group (d = 0.43). Smaller effects were observed for pain-related anxiety (d = 0.20), pain-related interference with functioning (d = 0.13), negative affect (d = 0.10), and positive affect (d = 0.24). Findings underscore the value of continuing to develop an automated Internet-based approach to disseminate this empirically supported intervention

Predicting growth curves of early childhood externalizing problems: Differential susceptibility of children with difficult temperament

Using an accelerated longitudinal design, the development of externalizing problems from age 2 to 5 years was investigated in relation to maternal psychopathology, maternal parenting, gender, child temperament, and the presence of siblings. The sample consisted of 150 children selected at age 2-3 years for having high levels of externalizing problems. Parenting was measured using observational methods, and maternal reports were used for the other variables. Overall, mean levels of externalizing problems decreased over time, and higher initial levels (intercept) were related to a stronger decrease (negative slope) in externalizing problems. Results showed that higher levels of maternal psychopathology were related to less decrease in early childhood externalizing problems. Parental sensitive behavior predicted a stronger decrease in externalizing problems, but only for children with difficult temperaments. A stronger decrease of externalizing problems in children with older siblings also pertained only to children with difficult temperaments. Thus, temperamentally difficult children appear to be more susceptible to environmental influences on the development of externalizing behaviors. Our results indicate that the role of siblings in early childhood externalizing problems deserves more research attention, and that intervention efforts need to take into account temperamental differences in children's susceptibility to environmental influences. © 2009 Springer Science+Business Media, LLC

Development of the Bi-Partite Gal4-UAS System in the African Malaria Mosquito, Anopheles gambiae

Functional genetic analysis in Anopheles gambiae would be greatly improved by the development of a binary expression system, which would allow the more rapid and flexible characterisation of genes influencing disease transmission, including those involved in insecticide resistance, parasite interaction, host and mate seeking behaviour. The Gal4-UAS system, widely used in Drosophila melanogaster functional genetics, has been significantly modified to achieve robust application in several different species. Towards this end, previous work generated a series of modified Gal4 constructs that were up to 20 fold more active than the native gene in An. gambiae cells. To examine the Gal4-UAS system in vivo, transgenic An. gambiae driver lines carrying a modified Gal4 gene under the control of the carboxypeptidase promoter, and responder lines carrying UAS regulated luciferase and eYFP reporter genes have been created. Crossing of the Gal4 and UAS lines resulted in progeny that expressed both reporters in the expected midgut specific pattern. Although there was minor variation in reporter gene activity between the different crosses examined, the tissue specific expression pattern was consistent regardless of the genomic location of the transgene cassettes. The results show that the modified Gal4-UAS system can be used to successfully activate expression of transgenes in a robust and tissue specific manner in Anopheles gambiae. The midgut driver and dual reporter responder constructs are the first to be developed and tested successfully in transgenic An. gambiae and provide the basis for further advancement of the system in this and other insect species